[[Algebra theory MOC]]
# Category of algebras

Let $\mathbb{K}$ be a [[field]].
The **category of algebras** $\cat{Alg}_{\mathbb K}$ is a [[category]] where
an object is a [[K-algebra|algebra]] over $\mathbb K$
and a morphism is a [[algebra homomorphism]]. #m/def/falg

## Related subcategory

- [[Category of Lie algebras]] is a [[Subcategory|full subcategory]]
- [[Category of unital associative algebras]] is a [[subcategory]]

#
---
#state/develop | #lang/en | #SemBr